Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations (in Dijkstra's words, "letting the symbols do (...) the work") have led to the "calculational style," an impressive array of techniques for elegant proof constructions. In this paper, we formalize intuitionistic predicate logic according to CED with similar success. In this system (I-CED), we prove Leibniz's principle for intuitionistic logic and also prove that any (intuitionistic) valid formula of predicate logic can be proved in I-CED. (shrink)

Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED . This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations have led to the "calculational style," an impressive array of (...) techniques for elegant proof constructions. In this paper, we formalize intuitionistic predicate logic according to CED with similar success. In this system , we prove Leibniz's principle for intuitionistic logic and also prove that any valid formula of predicate logic can be proved in I-CED. (shrink)

BackgroundMoral distress (MD) is the psychological damage caused when people are forced to witness or carry out actions which go against their fundamental moral values. The main objective was to evaluate the prevalence and predictive factors associated with MD among health professionals during the pandemic and to determine its causes.MethodsA regional, observational and cross-sectional study in a sample of 566 professionals from the Public Health Service of Andalusia (68.7% female; 66.9% physicians) who completed the MMD-HP-SPA scale to determine the level (...) of MD (0-432 points). Five dimensions were used: i) Health care; ii) Therapeutic obstinacy-futility, iii) Interpersonal relations of the Healthcare Team, iv) External pressure; v) Covering up of medical malpractice.ResultsThe mean level of MD was 127.3 (SD=66.7; 95% CI 121.8-132.8), being higher in female (135 vs. 110.3; p<0.01), in nursing professionals (137.8 vs. 122; p<0.01) and in the community setting (136.2 vs. 118.3; p<0.001), with these variables showing statistical significance in the multiple linear regression model (p<0.001; r2=0.052). With similar results, the multiple logistic regression model showed being female was a higher risk factor (OR=2.27; 95% CI 1.5-3.4; p<0.001). 70% of the sources of MD belonged to the dimension "Health Care" and the cause "Having to attend to more patients than I can safely attend to" obtained the highest average value (Mean=9.8; SD=4.9).ConclusionsFemale, nursing professionals, and those from the community setting presented a higher risk of MD. The healthcare model needs to implement an ethical approach to public health issues to alleviate MD among its professionals. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

Diversos estudios han concluido que los pacientes con daño en la Corteza Frontal –CF– o Corteza Prefrontal Ventromedial –CPV– muestran una disposición a herir directamente a otra persona con el fin de salvar varias vidas en sus respuestas a los “dilemas morales personales”, revelando una posible carencia de empatía. No obstante, cuando evalúan conductas carentes de empatía sin justificación utilitarista, sus respuestas son normales. Defendemos aquí que los pacientes sufren una deficiencia cognitiva relacionada con la hipótesis de marcador somático de (...) Damasio y con juicios de valor. Criticamos la hipótesis del “paciente utilitarista”, que se ha atrincherado en la neurociencia cognitiva. (shrink)

El presente artículo busca proponer un acercamiento a la influencia del pensamiento de Thomas Hobbes y su obra en el pensamiento económico. En especial en las escuelas marxista, neoclásica y keynesiana. El influjo de su pensamiento puede evidenciarse en el abordaje metodológico, antropológico e institucional. Se ofrece una Mirada sobre la sociedad civil (comercial), el Mercado y el Estado al mismo tiempo. Hobbes ha sido la inspiración de un concepto de Estado monolítico en lo político, en este sentido, la mirada (...) de la economía bajo el concepto de un gran planificador centralizado, tiene importantes antecedentes en este autor. El ejercicio del control social del individuo como propuesta institucional, en varias escuelas de la economía comparten con Hobbes, varios antecedentes que merecen ser analizados. (shrink)

It is possible to describe certain basic principles that underlie Leibniz’s political activities. These principles do not literally determine the specific steps Leibniz takes, but play a much more decisive role than that due to mere metaphysical principles. They provide a general frame work for his activities and a point of reference towards which his reflections tend. Particular attention is paid here to the concept of perspective and its presence in Leibniz’s correspondence with Bossuet, Pellison and Madame de Brinon and (...) the way in which a theological dialogue enables Leibniz to develop his vision of reality. (shrink)

Tradición y problemas de la filosofía en Colombia. -- La situación actual de la filosofia. -- Etapas de la filosofía en la historia intelectual colombiana. -- El conflicto entre la conciencia religiosa y la ciencia moderna: Mutis y Caldas. -- Valoración e influencia de Rousseau en Colombia.

Husserl desarrolla un enfoque genético que busca dar cuenta del origen de las formas lógico-categoriales a partir de las correspondientes preestructuraciones situadas en el nivel de la receptividad sensible. Para un enfoque de ese tipo, la explicación del origen de las modalidades del juicio, en general, y la negación, en particular, plantea peculiares desafíos. El presente trabajo discute el modo en el que Husserl trata la negación, en tanto forma básica de la modalidad, tanto en el enfoque estático de Ideen (...) I como en el enfoque genético de Erfahrung und Urteil. A fin de poner de relieve el al-cance histórico y sistemático de la concepción husserliana, se proporciona previamente una presentación general de su contexto polémico inmediato. Este viene dado por la oposición entre psicologismo y formalismo, dominante en la filosofía de la lógica alemana de fines del siglo XIX y comienzos del siglo XX.Husserl develops a genetic approach that seeks to account for the origin of the logical-categorical forms starting from the corresponding pre-structures located at the level of sensitive receptivity. For such an approach, the explanation of the origin of the modalities of judgment, in general, and negation, in particular, poses peculiar challenges. This paper discusses how Husserl treats negation as a basic form of modality, both in the static approach of Ideen I and the genetic approach of Erfahrung und Urteil. Previously, in order to highlight the historical and systematic significance of the Husserlian conception, a general presentation of its immediate polemic context is offered, especially with reference to the opposition between psychologism and formalism, dominant in the German philosophy of logic of the late nineteenth and early twentieth century. (shrink)

Resumen: El presente articulo desarrolla un examen respecto de los principales aspectos a considerar en el análisis que las filosofías de G. Canguilhem y de M. Foucault destinan al problema de la locura. El texto estipula las condiciones filosóficas de aproximación que ambos autores elaboran para pensar el problema de las normas en el ámbito vital y social. La pregunta: ¿qué es un loco? se convierte entonces en la cuestión de las prácticas sociales y políticas que se han desarrollado respecto (...) de los locos y la locura, evidenciando la relevancia que Canguilhem y Foucault conceden al problema de las normas, ya sea en un marco de comprensión ontológico y/o histórico-político. Abstract: The present article develops an examination of the main aspects to be considered in the analysis that the philosophies of G. Canguilhem and M. Foucault devote to the problem of madness. The text stipulates the philosophical conditions of approach that both authors elaborate on to think about the problem of norms in the vital and social sphere. The question: what is crazy? then becomes the question of the social and political practices that have been developed concerning madmen and madness, evidencing the relevance that Canguilhem and Foucault give to the problem of norms, either in an ontological and/or historical-political framework of understanding. (shrink)

La construcción de Héctor como una figura atractiva para la audiencia del poema iliádico es un tema bien estudiado en la crítica. Se han dado diferen­tes hipótesis y elementos que contribuyen a este efecto, pero hay un claro acuerdo en que el héroe, en particular entre los troyanos, es uno de los que más simpatía despierta en el público a lo largo del poema. Este trabajo se propone estudiar los discursos del héroe y su sintonía con los sentimientos y opiniones (...) del público, y en general con el tono emocional de los diferentes momentos de la performance poética. Se parte de la hipótesis de que, conforme la tragedia de Héctor se desarrolla, la relación entre la percepción de los eventos que se manifiesta en las palabras del héroe y la de la audiencia se hace cada vez más conflictiva, un proceso que se revierte en el momento en que la inminencia de su muerte se hace evidente para el personaje. Así, se intentará demostrar que la identificación de la audiencia con Héctor no es un fenómeno simple y lineal, sino que es manipulado por el poeta para generar expectativas y ansiedad en el público a fin de retener su atención al espectáculo épico. (shrink)

In 1922 the University of Buenos Aires (UBA) Council approved a motion to send an invitation to Albert Einstein to visit Argentina and give a course of lectures on his theory of relativity. The motion was proposed by Jorge Duclout (1856–1927), who had been educated at the Eidgenössische Technische Hochschule, Zurich (ETH). This proposal was the culmination of a series of initiatives of various Argentine intellectuals interested in the theory of relativity. In a very short time Dr. Mauricio Nirenstein (1877–1935), (...) then the university's administrative secretary, fulfilled all the requirements for the university's invitation to be endorsed and delivered to the sage in Berlin. The visit took place three years later, in March–April 1925. (shrink)

S.Haack has defended the idea that in fuzzy logic it cannot be affirmed that the true values of a statement are themselves blurry. This article analyzes Haack position in the light of some current approaches of classic philosophy of logic, and from the cognitive point of view of philosophy of logic, especially from the theory of concepts. Under the said approaches, the thesis on non-gradation of truth appears significantly weakened.

La denotación de los nombres propios es un problema tradicional de la Filosofía que aún es discutido en nuestros días. La tesis de este ensayo es que, lejos de ser una problemática superada, el debate sigue muy vivo y se siguen generando constantes aportaciones que contribuyen a enriquecer esta discusión en la actualidad. El objetivo que aquí se propone es mostrar que los argumentos tradicionales están motivando nuevas propuestas que mantienen la actualidad del debate, como las de Robert Stalnaker y (...) Jason Stanley. Para este propósito, se emplea el método hermenéutico-crítico sobre la bibliografía consultada. Concluimos reivindicando la actualidad del tema en Filosofía. (shrink)

E. Berti habla en esta entrevista sobre sus estudios de filosofía, su descubrimiento del método dialéctico en Aristóteles, basado en las opiniones comunes, la importancia de la filosofía práctica de Aristótles y su concepto de la relación entre ética y política. La noción de técnica, que parece haber cobrado importancia en el último siglo, parece incapaz de afrontar los problemas metafísicos más elementales; esta es la razón por la que aún hoy necesitamos la metafísica.

Criticisms of analytic philosophy have increased in intensity in the last decade, denouncing specifically its closing in on itself, which results in barrenness and ignorance of real human problems. The thought of C. S. Peirce is proposed as a fruitful way of renewing the analytic tradition and obviating these criticisms. While this paper is largely a reflection on Hilary Putnam’s study of the historical development of analytic philosophy, not only can some of its main roots be traced back to Peirce, (...) but also the recent resurgence of pragmatism can be regarded as a pragmatist renovation of the analytic tradition. Further, Peirce’s thought offers suggestions for tackling some of the most stubborn problems in contemporary philosophy, thereby enabling us to shoulder once more the philosophical responsibility which has been abdicated by much of twentieth-century philosophy. The most accurate understanding of Peirce is to see him as a traditional and systematic philosopher, but one dealing with the modern problems of science truth, and knowledge from a valuable personal experience as a logician and an experimental researcher in the bosom of an interdisciplinary community of scientists and thinkers. (shrink)